C~3I决策系统的Petri网建模技术

综述了Ｃ３Ｉ决策系统的若干Ｐｅｔｒｉ网建模方法。首先介绍了Ｃ３Ｉ系统的一般Ｐｅｔｒｉ网建模技术和时间Ｐｅｔｒｉ网建模技术,并介绍了随机Ｐｅｔｒｉ网建模技术;然后介绍了谓词Ｐｅｔｒｉ网和有色Ｐｅｔｒｉ网建模技术。最后指出了Ｃ３Ｉ决策系统中,Ｐｅｔｒｉ网的若干研究方向。     

三分量磁传感器非理想放置时磁场数据的分析方法

用欧拉角和矩阵变换方法导出了三分量磁传感器坐标系ｏ—ｘｙｚ与地磁坐标系Ｏ－ＸＹＺ有任意旋转关系时的磁场转换公式。用此公式分析了消磁系统中电子型消磁电流调整器的三分量磁传感器非理想放置时,对舰船消磁系统控制信号的影响,认为该影响在抗干扰调整过程中应引起足够的重视。     

舰船水压场畸变的数值模拟

用有限基本解法对舰船下方附加翼板后的水压场进行了数值模拟。分光体船、附加单翼板和附加双翼板三种情况,在不同的水深下分别进行计算,获得了相应的纵向通过特性曲线,并与实验结果进行了比较。在不同的翼板位置、攻角和离船底距离下对水压场进行计算,以优化得到最佳水压场畸变效果。     

线性语言和顺序语言关于置换的判定问题

S.Ginsburg和G.F.Rose在[1]中利用可定义集合及顺序可定义集合的概念,得到了cfl(上下文无关语言)和sl(顺序语言)关于gsm(广义顺序机)和csm(完全顺序机)的制定问题之不可解性。本文用更初等的方法,不仅得到了ll和sl关于gsm和csm的制定问题之不可解性,而且还得到了ll(线性语言)和sl关于置换和同态的制定问题之不可解性,顺便还得到了ll和sl关于补运算的不封闭性。我们首先引进一些概念和记号。注意,凡是文中没有说明的概念和符号,都可以在[1]和[3]中找到。     

三维空间中高斯束法有关应用公式的推导

本文从理论上推导了三维空间中高斯束法有关应用公式,研究了高斯束的性质,阐述了高斯束在自由空间中的传播规律及其在界面上的反射规律。文中还探讨了高斯束初值的选择及其反射后的相位补偿问题,为高斯束法在三维空间中的应用创造了条件。     

未修正单炮基线的误差及其对射击效率的影响

如果高炮系统的指挥仪没有修正炮阵地中心至各炮的基线,则会产生射击误差。本文分析了由此而产生的射击误差的特性,计算方法及其对高炮系统射击效率的影响。     

关于烟雾对光电成像装备的干扰效果试验及其试验靶标

主题是如何通过外场试验定量评价烟雾对光电成像装备的干扰效果。提出一种综合靶标,可用于这种外场试验,也可考察光电成像装备抗烟雾干扰的能力。它适用于普通观瞄器材、照相侦察和摄像装备、微光夜视设备、热成像系统等。     

低分辨雷达基于波形特征的飞机架次判别方法

通过分析低分辨雷达飞机目标回波波形,提取出低分辨雷达飞机目标架次可资分类的特征参数作为飞机目标架次判别的特征向量。最后,采用模糊极大极小神经网络作为分类器,在低分辨雷达目标识别样机系统对机群目标进行分类识别试验中,验证了所提取特征的有效性。     

基于MAP估计的图像超分辨率重建

从一组低分辨率图像中重建一幅高分辨率图像,给出基于MAP估计的近似算法。描述从场景空间到观测图像的线性映射关系,介绍了核心重建算法;算法适合观测条件相似的情况。在贝叶斯方法中,使用Laplace算子作估计图像的领域平滑相关性假设。最后的实验表明了算法在改善空间分辨率上的显著效果。     

薄膜晶体管液晶显示器对空间光调制模式与偏振器方向的关系

薄膜晶体管液晶显示器TFT LCD(Thin Film TransistorLiquidCrystalDevice)是信息光学研究中一种非常重要的电寻址空间光调制器SLM(SpatialLightModulator)。实验中通过调整TFT LCD的起偏器或检偏器的方向,可以分别得到正像、边缘暗突出像、负像等,并结合具有双折射特性的线性扭曲液晶介质对线偏振光的调制理论,对此给出解释。